]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0846238) | patch
windowManager: Move animation into WindowDimmer
authorFlorian Müllner <fmuellner@gnome.org>
Sun, 22 Jul 2018 01:31:54 +0000 (03:31 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Tue, 6 Aug 2019 21:54:29 +0000 (23:54 +0200)
commitfc958f4215255b4e396fca8bd2777a5ca4ffa173
treea990cfa764673b731cc6e1a16f20c700498040f7tree | snapshot
parent0846238f69ad15d5409d0d37360d7a2476b50316commit | diff
windowManager: Move animation into WindowDimmer

Currently WindowDimmer exposes a JS property that is used to control the
underlying effect. This works fine with Tweener, but not with Clutter
animations which we want to use ultimately.

As a first step towards that, expose a setDimmed() method instead of
the property and handle the animation internally, so it can be adapted
more easily.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/666
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.